A Semantics for Object-Oriented Design Notations
نویسنده
چکیده
Current graphical object-oriented design notations are syntax-bound and semantic-free since they tend to focus on design representation rather than on the meaning of the design. This paper proposes a meaning for object-oriented designs in terms of object behaviours represented as constructions in category theory. A new design language is proposed, based on-notation, whose semantics is given by object behaviours. An example application is constructed as both a graphical design and using the design language.
منابع مشابه
Declarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey
One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...
متن کاملSemantics of the Uniied Modeling Language
Object-oriented analysis and design is an increasingly popular software development method. The Uniied Modeling Language (UML) has recently been proposed as a standard language for expressing object-oriented designs. Unfortunately, in its present form the UML lacks a precisely de-ned semantics. This means that it is diicult to determine whether a design is consistent, whether a design modiicati...
متن کاملFormalizing UML Semantics
UML (Unified Modeling Language) developed by a group of leading experts in object-oriented methodologies has become the de facto standard object-oriented development methodology in the ware industry. However, many graphical notations in UML only have informal English definitions and thus are error-prone and cannot be formally analyzed. In the past several years, many researchers around the worl...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کاملModeling and Evaluation of Stochastic Discrete-Event Systems with RayLang Formalism
In recent years, formal methods have been used as an important tool for performance evaluation and verification of a wide range of systems. In the view points of engineers and practitioners, however, there are still some major difficulties in using formal methods. In this paper, we introduce a new formal modeling language to fill the gaps between object-oriented programming languages (OOPLs) us...
متن کامل